Danke an alle, die geantwortet haben.
Ich habe daraufhin das Problem bei mir gesucht.
Ausgehend von der UnknownHost Exception konnte also der Host Name nicht aufgelöst werden. Ein Ping auf den Host klappte auch nicht.
Nun hatte ich vor langem den DSL Router als Name Server eingestellt.
Die weitere Namensauflösung sollte also durch den Router passieren.
Bei den Netzwerkeinstellungen kann auch ein zweiter, alternativer DNS eingetragen werden. Also suchte ich den DSN vom Internet Provider und setzte ich ein und … siehe da, es klappte: der Name konnte auf eine Web Adresse umgesetzt werden, ein Ping funktionierte und dann auch MV.
Seltsam ist nur, wieso dieser eine Hostname temporär nicht umgesetzt werden konnte, die anderen Hostnamen aber doch!